<?hh

echo "Hello world!\n";
